Tool-Supported Step-By-Step Debugging for the Object Constraint Language
نویسندگان
چکیده
Although originally designed as an extension for the Uni ed Modeling Language (UML), the Object Constraint Language (OCL) has been broadly adopted in the context of UML as well as other modeling and domain-speci c languages. However, appropriate tooling, supporting software developers on using OCL is still scarce and lacks debugging support. As OCL constraints are likely to become rather complex for real world examples, it is typically hard to comprehend the in uence of single OCL expressions on the result of an evaluated OCL constraint. Therefore, debugging is of topmost importance for both constraint comprehension and maintenance. In this paper, we evaluate existing debugging tools for OCL and come to the conclusion that no real step-by-step debugger for OCL exist, yet. Therefore, we analyze requirements for OCL debuggers and present an OCL debugger implementation for Dresden OCL.
منابع مشابه
Automated Debugging in Java Using OCL and JDI
Correctness constraints provide a foundation for automated debugging within object-oriented systems. This paper discusses a new approach to incorporating correctness constraints into Java development environments. Our approach uses the Object Constraint Language (“OCL”) as a specification language and the Java Debug Interface (“JDI”) as a verification API. OCL provides a standard language for e...
متن کاملA Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کاملA Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کاملEvaluating and Debugging OCL Expressions in UML Models
This paper discusses the relationship between tests and proofs with focus on a tool for UML and OCL models. Tests are thought of as UML object diagrams and theorems or properties which are to be checked are represented as OCL constraints, i.e., class invariants or operation preand postconditions. The paper shows for the UML and OCL tool USE (UML-based Specification Environment) how to trace and...
متن کاملStep-wise + Algorithmic debugging for Reactive Programs: Ludic, a debugger for Lustre
For safety-critical reactive systems (in avionics, transportation, nuclear plants, etc.), a lot of eeort has been put on the deenition of safe languages, with a formal semantics. In the synchronous approach, several languages with distinct programming styles share a common simple view of the world that helps reasoning about programs formally: systems react in zero time. Formal veriication and t...
متن کامل